On the Sets Inhabited by Numbers1
نویسنده
چکیده
The information that all members of a set enjoy a property expressed by an adjective can be processed in a systematic way. The purpose of the work is to find out how to do that. If it works, ‘membered’ will become a reserved word and the work with it will be automated. I have chosen membered rather than inhabited because of the compatibility with the Automath terminology. The phrase τ inhabits θ could be translated to τ is θ in Mizar.
منابع مشابه
On the Sets Inhabited by Numbers
The information that all members of a set enjoy a property expressed by an adjective can be processed in a systematic way. The purpose of the work is to find out how to do that. If it works, ‘membered’ will become a reserved word and the work with it will be automated. I have chosen membered rather than inhabited because of the compatibility with the Automath terminology. The phrase τ inhabits ...
متن کاملThe Contrapositive of Countable Choice for Inhabited Sets of Naturals
Within a fairly weak formal theory of numbers and number-theoretic sequences we give a direct proof of the contrapositive of countable finite choice for decidable predicates. Our proof is at the same time a proof of a stronger form of it. In that way we think that we improve a proof given by Diener and Schuster. Within the same theory we prove properties of inhabited sets of naturals satisfying...
متن کاملمقایسه ترس از مرگ در سالمندان ساکن منازل با سالمندان ساکن سرای سالمندان شهر اصفهان
Objectives: On the one hand, increased growth of the elderly population and on the other hand, social– economic changes, personal and family lifestyles have caused an increased number of the elderly protecting centres. The aim of the present survey is to compare the fear of death among the elderly settled in elderly home and inhabited in city houses of Isfahan. Methods & Materials: Thi...
متن کاملA Short Proof of a Series Evaluation in Terms of Harmonic Numbers1
We give another short and simple proof of ∑ n≥1 1 22n−1(2n− 1) ∑ k ( 2n− 1 k ) 1 k − j − n + 2 = − j j ∑
متن کاملآغازی بر فهم مزارع مسکون تاریخی در یزد
Yazd has an outstanding history of principle and science of agriculture and farming. Water and safety along the ground as the mother of agriculture can be setting up the farmstead on the land. The farmsteads are subordinate or independent inhabitant complex, and they are part of a village or a borough. Inhabited farm as a section that has affected and influenced by social, political and cultura...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004